Generic Software Component Configuration Via Partial Evaluation
نویسنده
چکیده
We propose the use of partial evaluation to automatically and systematically configure software components in a predictable way. We base our approach on a declaration language that enables the component developer to describe the genericity and configurability of the application components. This information is checked and used to derive components specialized with respect to a given context.
منابع مشابه
Mapping Software Architectures to Efficient Implementations via Partial Evaluation
Flexibility is recognized as a key feature in structuring software, and many architectures have been designed to that effect. However, they often come with performance and code size overhead, resulting in a flexibility vs. efficiency dilemma. The source of inefficiency in software architectures can be identified in the data and control integration of components, because flexibility is present n...
متن کاملProgram Adaptation via Output-Constraint Specialization
In component-based software development, gluing of two software components is usually achieved by defining an interface specification, and creating wrappers on components to support the interface. We believe that interface specification provides useful information for specializing components. An interface may define constraints on a component’s inputs, as well as on its outputs. In this paper, ...
متن کاملPartial Evaluation for Class-Based Object-Oriented Languages
Object-oriented programming facilitates the development of generic software, but at a cost in terms of performance of the final program. We use partial evaluation to automatically map generic objectoriented software into specific implementations. In this paper we give a concise and formalized description of how partial evaluation specializes an object-oriented program.
متن کاملStrategic Programming by Model Interpretation and Partial Evaluation
The dominant approach to model-driven development and domain-specific language engineering is to write a translator, or compiler, that defines a strategy for executing the high-level language. In this paper we introduce a new approach to strategic programming by writing interpreters of high-level modeling languages, rather than compilers. This technique is demonstrated by interpreting data mode...
متن کاملGeneric Operations and Partial Evaluation using Models
Model-driven software development is a promising new application area for partial evaluation. In this papers, we develop an approach to generic programming using models instead of types. The work is done in the context of Pummel, a first-order subset of Scheme with objects and monoid comprehensions. We define generic operations for validation, reading, and equality of values described by models...
متن کامل